message highestNumberMsg {
	int number = -1;
}
